@PhDThesis{Mattiello-Francisco:2009:AbTeIn,
               author = "Mattiello-Francisco, Maria de F{\'a}tima",
                title = "InRob - uma abordagem para testes de interoperabilidade e de 
                         robustez de subsistemas de tempo-real intensivos em software",
               school = "ITA",
                 year = "2009",
              address = "S{\~a}o Jos{\'e} dos Campos - SP",
                month = "2009-12-15",
             keywords = "Confiabilidade de software, Especifica{\c{c}}{\~a}o formal, 
                         Estudo de casos, Verifica{\c{c}}{\~a}o formal.",
             abstract = "Os estudos realizados no presente trabalho de tese abrangem o 
                         processo de integra{\c{c}}{\~a}o de subsistemas de tempo real 
                         intensivos em software e o formalismo de gera{\c{c}}{\~a}o de 
                         casos de teste. A integra{\c{c}}{\~a}o de subsistemas {\'e} uma 
                         fase altamente onerosa em tempo e recursos de teste de projetos de 
                         sistemas cr{\'{\i}}ticos tais como plataformas de 
                         sat{\'e}lites. S{\~a}o investigados testes baseados em modelos 
                         de estado que representam a intera{\c{c}}{\~a}o dos subsistemas 
                         comunicantes. O problema pesquisado {\'e} o formalismo adequado 
                         para representar requisitos de tempo no modelo comportamental da 
                         intera{\c{c}}{\~a}o de modo que casos de teste possam ser 
                         derivados por m{\'e}todos autom{\'a}ticos. Com foco na modelagem 
                         dos servi{\c{c}}os providos pelos subsistemas em 
                         integra{\c{c}}{\~a}o, prop{\~o}e-se um arcabou{\c{c}}o para 
                         teste de interoperabilidade e de robustez composto por cinco 
                         elementos estruturantes: (1) perfil do servi{\c{c}}o, (2) modelo 
                         nominal do servi{\c{c}}o, (3) perigos de tempo, (4) modelo 
                         aumentado do servi{\c{c}}o, e (5) prop{\'o}sito de teste. O 
                         arcabou{\c{c}}o, denominado InRob, orienta a 
                         constru{\c{c}}{\~a}o de modelos formais de interoperabilidade os 
                         quais representam o comportamento de um servi{\c{c}}o em um dado 
                         est{\'a}gio de integra{\c{c}}{\~a}o. Os modelos s{\~a}o 
                         estendidos com propriedades de tempo de modo que possam ser 
                         derivados casos de teste de robustez, relativos a desvios de tempo 
                         na troca de mensagens entre os subsistemas. A 
                         valida{\c{c}}{\~a}o da abordagem InRob {\'e} feita no 
                         dom{\'{\i}}nio de subsistemas espaciais, na 
                         integra{\c{c}}{\~a}o dos subsistemas que comp{\~o}em um 
                         instrumento imageador (telesc{\'o}pio) de raios X a bordo de uma 
                         miss{\~a}o de sat{\'e}lite de astronomia. Nesse estudo de caso, 
                         o InRob {\'e} instanciado em um processo de teste composto por 
                         tr{\^e}s etapas, duas delas apoiadas por ferramentas existentes 
                         para gera{\c{c}}{\~a}o e execu{\c{c}}{\~a}o de casos de 
                         teste.",
            committee = "Edgar Toshiro Yano, Orientador and Eliane Martins, Co-orientador",
           copyholder = "SID/SCD",
         englishtitle = "x",
             language = "pt",
                  url = "http://www.bd.bibl.ita.br/tesesdigitais/lista_resumo.php?num_tese=000556379",
        urlaccessdate = "01 maio 2024"
}